transition:    
u1-a-u2;
u2-c-u1;
u2-b-u9;
u2-d-u7;
u1-a-u3;
u3-b-u4;
u4-a-u5;
u5-b-u4;
u4-a-u6;
u7-c-u6;
u7-a-u8;
u8-b-u9;
u9-a-u10;
u8-b-u9;
u10-c-u5;
initial:
u2;
final:
u1;
u5;
u6.